Fix NORMAL_PT_UPDATE for PAE when page is not pinned.
authorkaf24@firebug.cl.cam.ac.uk <kaf24@firebug.cl.cam.ac.uk>
Sat, 20 Aug 2005 20:05:21 +0000 (20:05 +0000)
committerkaf24@firebug.cl.cam.ac.uk <kaf24@firebug.cl.cam.ac.uk>
Sat, 20 Aug 2005 20:05:21 +0000 (20:05 +0000)
commit1d595a775e04a59b462f82bf033c63ab8655ad01
tree65c5ece35638fb84770cef3ff036c3380933a8a4
parentafb777e9394505e299d6bdedf5906eddf647f1c1
Fix NORMAL_PT_UPDATE for PAE when page is not pinned.

Signed-off-by: Keir Fraser <keir@xensource.com>
xen/arch/x86/mm.c